home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
TeX 1995 July
/
TeX CD-ROM July 1995 (Disc 1)(Walnut Creek)(1995).ISO
/
web
/
noweb
/
src
/
lib
/
unmarkup
< prev
Wrap
Text File
|
1995-02-24
|
1KB
|
40 lines
#!/bin/sh
#
# Copyright 1991 by Norman Ramsey. All rights reserved.
# See file COPYRIGHT for more information.
nawk '
/^@begin docs 0$/ { next }
/^@begin docs / { printf "@ " }
/^@begin code / { }
/^@end [cd]o[dc][es] / {
if (dangling_text) printf "\n"
dangling_text = 0
printf "%s", deflines
if (defline != "") printf "%s\n", defline
deflines = "" ; defline = ""
}
/^@defn / { printf "<<%s>>=", substr($0,7) }
/^@text $/ {next}
/^@text / {
gsub("<<", "@<<");
gsub(">>", "@>>");
printf "%s", substr($0,7)
dangling_text = 1
}
/^@quote$/ { printf("[["); dangling_text = 1 }
/^@endquote$/ { printf("]]"); dangling_text = 1 }
/^@nl$/ { printf "\n"; dangling_text = 0}
/^@index defn / {
if (defline == "") defline = "@ %def"
defline = defline " " substr($0, 13)
}
/^@index nl$/ {
deflines = deflines defline "\n"
defline = ""
}
/^@use / { printf "<<%s>>", substr($0,6)
dangling_text = 1
}' $* | sed 's/^@ $/@/'